// stdx/preludex.rs
// CRITICAL: prelude 提示哪些 trait 和类型通常被隐式导入（如 Drop、Clone、Copy、Iterator）。
// AUTO_COMMENT: 这里只做说明与小示例。

#[allow(dead_code)]
pub fn stdx_examples_preludex() {
    // CRITICAL: Iterator trait 通常在 prelude 中可用
    let v = vec![1, 2, 3];
    let _ = v.into_iter().map(|x| x * 2).collect::<Vec<_>>();
}
